Две прямые называются параллельными, если они не пересекаются.
Для обозначения параллельности прямых будем пользоваться символом ||.
Определяющее свойство задается аксиомой:
Через точку, не лежащую на данной прямой, можно провести прямую, параллельную данной, и притом только одну.
Для описания свойств параллельных прямых, вытекающих из определения и аксиомы 3.1, введем новые понятия и утверждения, связанные с взаимным расположением трех прямых на плоскости.
Если в данной паре внутренних накрест лежащих углов один из углов заменить на вертикальный ему, то полученные углы называются соответственными углами данных прямых с секущей.